منابع مشابه
Analysing resource use in the - calculus by type inference
If we view functions as processes, then their resources are their arguments, supplied through application , and used by the function to produce a result. In this paper, we dene resource use for functions, based on the syntactic notion of needed redexes from [BKKS86]. We introduce a variant of neededness, tail-neededness, and dene packets of needed descendants of redexes in order to measure the ...
متن کاملAnalysing of Continuous Welded Turnouts
Continuous welded turnouts are important for CWR track through the railway station. According to equivalent resistance and non-linear theories and the principle of force diagram, a new method of theoretical calculation for continuous welded turnouts was developed. The continuous welded turnouts designed and installed according to the new theory behaved fairly well. The data collected on sites b...
متن کاملAnalysing of Continuous Welded Turnouts
Continuous welded turnouts are important for CWR track through the railway station. According to equivalent resistance and non-linear theories and the principle of force diagram, a new method of theoretical calculation for continuous welded turnouts was developed. The continuous welded turnouts designed and installed according to the new theory behaved fairly well. The data collected on sites b...
متن کاملWorkshop: New Inference Concepts for Analysing Complex Data Table of Contents
The main purpose of this workshop was to assemble international leaders from statistics and machine learning to identify important research problems, to cross-fertilize between the disciplines, and to ultimately start coordinated research efforts toward better solutions. The workshop focused on discussing modern methods for analysis complex high dimensional data with applications to econometric...
متن کاملAnalysing Analogy
Analogical reasoning is one of the most important techniques used by people, yet it has proved very difficult to represent the process in formal terms amenable to operational implementation in computer algorithms. In this paper we analyse the concept of an analogy and its application to reasoning processes. An analogy is seen to be a partial correspondence between two sYstems. In representing i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nordicom Review
سال: 2006
ISSN: 2001-5119
DOI: 10.1515/nor-2017-0238